$\forall$$p$:$\mathbb{Z}$. prime($p$) $\Rightarrow$ ($\forall$$a_{1}$, $a_{2}$:$\mathbb{Z}$. $p$ $\mid$ $a_{1}$$\cdot$$a_{2}$ $\Rightarrow$ $p$ $\mid$ $a_{1}$ $\vee$ $p$ $\mid$ $a_{2}$)